Preventing pain on injection of propofol: A comparison between lignocaine pre-treatment and lignocaine added to propofol

Publisher's copy made available with the permission of the publisherA randomized double-blind study compared two methods of preventing the pain from injection of propofol, lignocaine pre-treatment followed by propofol and lignocaine added to propofol. One hundred patients received a 4 ml solution intravenously with a venous tourniquet for 1 minute, followed by propofol mixed with 2 ml of solution. Patients were divided into two treatment groups of 50 patients each: 4 ml 1% lignocaine pre-treatment followed by propofol and 2 ml saline, or 4 ml saline followed by propofol and 2 ml 2% lignocaine. Pain was assessed with a 100 mm visual analogue scale after induction and in recovery. The incidence of injection pain was 8% in the propofol mixed with lignocaine group, and 28% in the lignocaine pre-treatment group. This difference is statistically significant (P=0.017). For those patients who had pain, the mean pain score was 26.5 on induction for the propofol with lignocaine group (n=4), while the mean score was 44.4 for the pre-treatment group (n=13). The difference was not statistically significant (P=0.25). None of the propofol mixed with lignocaine group recalled pain, while 13 of the pre-treatment group did so. Lignocaine pre-treatment does not improve the immediate or the recalled comfort of patients during propofol induction when compared to lignocaine added to propofol. It is recommended that lignocaine should be added to propofol for induction rather than given before induction.P. Lee, W. J. Russellhttp://www.aaic.net.au/Article.asp?D=200339

Afshar's Experiment does not show a Violation of Complementarity

A recent experiment performed by S. Afshar [first reported by M. Chown, New Scientist {\bf 183}, 30 (2004)] is analyzed. It was claimed that this experiment could be interpreted as a demonstration of a violation of the principle of complementarity in quantum mechanics. Instead, it is shown here that it can be understood in terms of classical wave optics and the standard interpretation of quantum mechanics. Its performance is quantified and it is concluded that the experiment is suboptimal in the sense that it does not fully exhaust the limits imposed by quantum mechanics.Comment: 6 pages, 6 figure

Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification

Reachability analysis asks whether a system can evolve from legitimate initial states to unsafe states. It is thus a fundamental tool in the validation of computational systems - be they software, hardware, or a combination thereof. We recall a standard approach for reachability analysis, which captures the system in a transition system, forms another transition system as an over-approximation, and performs an incremental fixed-point computation on that over-approximation to determine whether unsafe states can be reached. We show this method to be sound for proving the absence of errors, and discuss its limitations for proving the presence of errors, as well as some means of addressing this limitation. We then sketch how program annotations for data integrity constraints and interface specifications - as in Bertrand Meyers paradigm of Design by Contract - can facilitate the validation of modular programs, e.g., by obtaining more precise verification conditions for software verification supported by automated theorem proving. Then we recap how the decision problem of satisfiability for formulae of logics with theories - e.g., bit-vector arithmetic - can be used to construct an over-approximating transition system for a program. Programs with data types comprised of bit-vectors of finite width require bespoke decision procedures for satisfiability. Finite-width data types challenge the reduction of that decision problem to one that off-the-shelf tools can solve effectively, e.g., SAT solvers for propositional logic. In that context, we recall the Tseitin encoding which converts formulae from that logic into conjunctive normal form - the standard format for most SAT solvers - with only linear blow-up in the size of the formula, but linear increase in the number of variables. Finally, we discuss the contributions that the three papers in this special section make in the areas that we sketched above. © Springer-Verlag 2009

Mass-losing accretion discs around supermassive black holes

We study the effects of outflow/wind on the gravitational stability of accretion discs around supermassive black holes using a set of analytical steady-state solutions. Mass-loss rate by the outflow from the disc is assumed to be a power-law of the radial distance and the amount of the energy and the angular momentum which are carried away by the wind are parameterized phenomenologically. We show that the mass of the first clumps at the self-gravitating radius linearly decreases with the total mass-loss rate of the outflow. Except for the case of small viscosity and high accretion rate, generally, the self-gravitating radius increases as the amount of mass-loss by the outflow increases. Our solutions show that as more angular momentum is lost by the outflow, then reduction to the mass of the first clumps is more significant.Comment: Accepted for publication in Astrophysics & Space Scienc

Sequences of Bubbles and Holes: New Phases of Kaluza-Klein Black Holes

We construct and analyze a large class of exact five- and six-dimensional regular and static solutions of the vacuum Einstein equations. These solutions describe sequences of Kaluza-Klein bubbles and black holes, placed alternately so that the black holes are held apart by the bubbles. Asymptotically the solutions are Minkowski-space times a circle, i.e. Kaluza-Klein space, so they are part of the (\mu,n) phase diagram introduced in hep-th/0309116. In particular, they occupy a hitherto unexplored region of the phase diagram, since their relative tension exceeds that of the uniform black string. The solutions contain bubbles and black holes of various topologies, including six-dimensional black holes with ring topology S^3 x S^1 and tuboid topology S^2 x S^1 x S^1. The bubbles support the S^1's of the horizons against gravitational collapse. We find two maps between solutions, one that relates five- and six-dimensional solutions, and another that relates solutions in the same dimension by interchanging bubbles and black holes. To illustrate the richness of the phase structure and the non-uniqueness in the (\mu,n) phase diagram, we consider in detail particular examples of the general class of solutions.Comment: 71 pages, 22 figures, v2: Typos fixed, comment added in sec. 5.

Isotopic composition of fragments in multifragmentation of very large nuclear systems: effects of the chemical equilibrium

Studies on the isospin of fragments resulting from the disassembly of highly excited large thermal-like nuclear emitting sources, formed in the ^{197}Au + ^{197}Au reaction at 35 MeV/nucleon beam energy, are presented. Two different decay systems (the quasiprojectile formed in midperipheral reactions and the unique source coming from the incomplete fusion of projectile and target in the most central collisions) were considered; these emitting sources have the same initial N/Z ratio and excitation energy (E^* ~= 5--6 MeV/nucleon), but different size. Their charge yields and isotopic content of the fragments show different distributions. It is observed that the neutron content of intermediate mass fragments increases with the size of the source. These evidences are consistent with chemical equilibrium reached in the systems. This fact is confirmed by the analysis with the statistical multifragmentation model.Comment: 9 pages, 4 ps figure

Study of flare energy release using events with numerous type III-like bursts in microwaves

The analysis of narrowband drifting of type III-like structures in radio bursts dynamic spectra allows to obtain unique information about primary energy release mechanisms in solar flares. The SSRT spatially resolved images and a high spectral and temporal resolution allow direct determination not only the positions of its sources but also the exciter velocities along the flare loop. Practically, such measurements are possible during some special time intervals when the SSRT (about 5.7 GHz) is observing the flare region in two high-order fringes; thus, two 1D scans are recorded simultaneously at two frequency bands. The analysis of type III-like bursts recorded during the flare 14 Apr 2002 is presented. Using-muliwavelength radio observations recorded by SSRT, SBRS, NoRP, RSTN we study an event with series of several tens of drifting microwave pulses with drift rates in the range from -7 to 13 GHz/s. The sources of the fast-drifting bursts were located near the top of the flare loop in a volume of a few Mm in size. The slow drift of the exciters along the flare loop suggests a high pitch-anisotropy of the emitting electrons.Comment: 16 pages, 6 figures, Solar Physics, in press, 201

Excitation and decay of projectile-like fragments formed in dissipative peripheral collisions at intermediate energies

Projectile-like fragments (PLF:15<=Z<=46) formed in peripheral and mid-peripheral collisions of 114Cd projectiles with 92Mo nuclei at E/A=50 MeV have been detected at very forward angles, 2.1 deg.<=theta_lab<=4.2 deg. Calorimetric analysis of the charged particles observed in coincidence with the PLF reveals that the excitation of the primary PLF is strongly related to its velocity damping. Furthermore, for a given V_PLF*, its excitation is not related to its size, Z_PLF*. For the largest velocity damping, the excitation energy attained is large, approximately commensurate with a system at the limiting temperatureComment: 5 pages, 6 figure

An Integrated Modeling Approach for Predicting Process Maps of Residual Stress and Distortion in a Laser Weld: A Combined CFD–FE Methodology

Laser welding has become an important joining methodology within a number of industries for the structural joining of metallic parts. It offers a high power density welding capability which is desirable for deep weld sections, but is equally suited to performing thinner welded joints with sensible amendments to key process variables. However, as with any welding process, the introduction of severe thermal gradients at the weld line will inevitably lead to process-induced residual stress formation and distortions. Finite element (FE) predictions for weld simulation have been made within academia and industrial research for a number of years, although given the fluid nature of the molten weld pool, FE methodologies have limited capabilities. An improvement upon this established method would be to incorporate a computational fluid dynamics (CFD) model formulation prior to the FE model, to predict the weld pool shape and fluid flow, such that details can be fed into FE from CFD as a starting condition. The key outputs of residual stress and distortions predicted by the FE model can then be monitored against the process variables input to the model. Further, a link between the thermal results and the microstructural properties is of interest. Therefore, an empirical relationship between lamellar spacing and the cooling rate was developed and used to make predictions about the lamellar spacing for welds of different process parameters. Processing parameter combinations that lead to regions of high residual stress formation and high distortion have been determined, and the impact of processing parameters upon the predicted lamellar spacing has been presented